Minimal schedulability interval for real-time systems of periodic tasks with offsets

AbstractWe consider real-time systems in highly safety context where tasks have to meet strict deadlines. Tasks are periodic, may have offsets, share critical resources and be precedence constrained. Off-line scheduling should be of great help for such systems, but methods proposed in the literature cannot deal with them. Our aim is to extend and improve the well-known cyclicity result of Leung and Merill to every scheduling algorithm and to systems of interacting tasks with offsets. One of the main benefit of our result is to enable the use of off-line scheduling methods for those real-time critical systems

Using Discrete Geometry to model PFair scheduling algorithm for Real-Time systems applications

In this paper, we focus on the use of discrete geometry for the sake of real-time modeling and analysis. We consider multiprocessor context, and we determine the geometrical characterization of PFair scheduling algorithms, which are known to be very performant strategies. A feasability test can then be deduced from the geometrical properties

Off-Line scheduling of real-time applications with variable duration tasks

International audienc

Analyse hors ligne d'ordonnançabilité d'applications temps réels comportant des tâches conditionnelles et sporadiques

Nous considérons le problème de l'ordonnancement hors ligne d'applications Temps Réel multitâches dans le contexte où les tâches peuvent comporter des instructions conditionnelles. Nous redéfinissons le modèle temporel de tâche pour prendre en compte explicitement les instructions conditionnelles, en étendant le modèle initial de Liu-Layland. Nous reformulons le problème de l'ordonnançabilité pour des tâches indépendantes et mettons en évidence l'ordonnançabilité globale et locale. Puis, nous étudions l'impact de la présence d'instructions conditionnelles sur les durées nécessaires de simulation. Enfin, nous proposons une méthode d'analyse d'ordonnançabilité fondée sur une modélisation par réseaux de Petri qui étend la méthode proposée par E. Grolleau dans sa thèse. L'ajout de tâches conditionnelles dans cette modélisation permet d'intégrer explicitement les différents comportements d'exécution des tâches et de prendre en charge l'activation des tâches sporadiquesWe consider the off line scheduling problem of Real Time applications in the context where the tasks of the applications can have conditional instructions. We redefine the temporal model of task to take the conditional instructions explicitly into account, by extending the initial model of Liu-Layland to that of conditional task. Then, we transform the concept of scheduling into scheduling tree. We reformulate the problem of schedulability of independent tasks and we show the global and local schedulability. Then, we study how conditional task can change the laps of time necessary for the simulation of the application. Finally, we propose a method of schedulability analysis which uses a Petri nets modeling which extends the method suggested by Emmanuel Grolleau in his thesis. We can explicitly take every different behaviors of task into account with the conditional task approch and also deal with sporadic tasks released by particular behaviors of conditional task. No virus found in this outgoing message.POITIERS-BU Sciences (861942102) / SudocSudocFranceF

Scheduling an aperiodic flow within a real-time system using Fairness properties

International audienceWe consider hard real-time systems composed of periodic tasks and of an aperiodic flow. Each task, either periodic or aperiodic, has a firm deadline. An aperiodic task is accepted within the system only if it can be completed before its deadline, without causing temporal failures for the periodic tasks or for the previously accepted aperiodic tasks. We propose an acceptance test, linear in the number of pending accepted aperiodic tasks. This protocol can be used provided the idle slots left by the periodic tasks are fairly distributed. We then propose a model-driven approach, based on Petri nets, to produce schedules with a fair distribution of the idle slots for systems of non independent periodic tasks.Nous considérons des systèmes temps-réel composés de tâches périodiques et d’un fluxapériodique. Toutes les tâches, périodiques comme apériodiques, sont soumises à des échéancesstrictes. Une tâche apériodique n’est acceptée que si elle ne remet pas en cause le respect deséchéances par les tâches périodiques et par les tâches apériodiques déjà acceptées. Nous proposonsun protocole d’acceptation des tâches apériodiques de complexité linéaire en le nombre de tâchesapériodiques acceptées présentes dans le système. Ce protocle est utilisable dès lors que les tempscreux sont répartis de manière équitable. Nous proposons donc une approche modèle, à base deréseaux de Petri, pour produire des séquences où les temps creux sont équitablement répartis, pourdes systèmes de tâches interdépendantes

Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs

Les applications temps-réel, le plus souvent dédiées au contrôle de procédé, sont soumises à des contraintes temporelles strictes, destinées à garantir la sécurité et la cohérence du procédé contrôlé. Etant des applications multi tâches, elles doivent être ordonnancées, le critère sine qua non de qualité de la stratégie d'ordonnancement étant la garantie du respect des contraintes temporelles. Ces applications sont de plus en plus déployées sur des architectures multiprocesseurs. Dans ce contexte, de nombreux problèmes d'ordonnancement doivent encore être abordés. Tout d'abord, il n'existe pas d'ordonnancement en ligne optimal dans ce contexte dans le cas général, le problème de l'ordonnancement est NP-complet, et des anomalies d'ordonnancement apparaissent. Nous avons envisagé de prendre en compte la possibilité qu'une panne processeur survienne et nous avons étudié les mécanismes de reprise après la panne dans le cas où l'application est ordonnancée par EDF, puis par un algorithme P-équitable. Ces mécanismes nécessitent de disposer d'un certain nombre de résultats généraux. Nous avons donc étendu la définition de la P-équité à un contexte plus large que celui de la littérature, puis nous avons établi une condition suffisante d'ordonnançabilité dans ce contexte. Enfin, nous avons proposé un protocole efficace de gestion des flux apériodiques qui s'appuie sur une distribution P-équitable des temps creux. Cette répartition peut être obtenue soit en ordonnançant les tâches périodiques par une stratégie P-équitable quand le contexte le permet, soit via une analyse hors-ligne à base de réseaux de Petri.A real-time system is one whose logical correctness is based on the correctness of outputs and on their timeless. It must satisfy explicit (bounded) response-time constraints or risks severe consequences, including system failure. Now, systems are increasingly complex, using several processors to process a large number of tasks. For these reasons, we focus on the schedulability analysis of these applications on multiprocessor platforms and their scalability. In this regard we propose a new approach for fault-tolerant scheduling on multiprocessors with global preemptive EDF and Pfair policy. Our approach guarantees the completion of a scheduled task before its deadline in the presence of a processor failure. It more results on schedulability theory on multiprocessors when complex tasks systems are considered. First, we extend the notion of Pfairness to the context of asynchronous tasks with contrained deadline. We investigate feasibility conditions and we propose a rather efficient one. Then, we consider the problem of aperiodic tasks with contrained deadline adjunction. We propose an acceptance protocol, which relies on a fair distribution of the idle time units. The accepted aperiodic tasks are then scheduled in background. Finally, we consider interacting periodic tasks. We still try to distribute the idle time units fairly. For that aim, we consider a model-driven approach, based on the modelling of the application by a Petri net and we propose extraction rules which can accommodate our acceptance protocol.POITIERS-BU Sciences (861942102) / SudocSudocFranceF

Resource minimization for multiprocessor real-time applications

International audienc

Real-time scheduling using regularity criteria and a geometrical approach

International audienc

Size analysis in multi-processor real-time scheduling

International audienc